Petri net - PDFSEARCH.IO - Document Search Engine

Petri net
Results: 320

#	Item
301	When Are Two Workflows the Same? Jan Hidders1 , Marlon Dumas2 , Wil M.P. van der Aalst3 , Arthur H.M. ter Hofstede2 , Jan Verelst4 Add to Reading List Source URL: eprints.qut.edu.au Language: English - Date: 2010-06-09 08:23:28 Logic in computer science Mathematics Models of computation Bisimulation Workflow Petri net Equivalence relation Workflow technology Applied mathematics Theoretical computer science
302	Typestate-Oriented Design A Coloured Petri Net Approach Jorge Luis Guevara D´ıaz Add to Reading List Source URL: vision.ime.usp.br Language: English - Date: 2013-02-27 11:42:30 Diagrams Software engineering Computing Petri nets Iterator Finite-state machine Petriscript TAPAAL Model Checker Models of computation Formal methods Concurrency
303	Computers in Industry[removed]–244 Process mining: a research agenda Add to Reading List Source URL: is.tm.tue.nl Language: English - Date: 2004-04-06 05:26:06 Business Business process discovery Process mining Workflow Business process management Data mining Petri net Process modeling Business process Process management Management Systems engineering
304	Enhanced Debugging Methods for Parallel and Metacomputing Applications Based on Macrosteps Add to Reading List Source URL: www.omikk.bme.hu Language: English - Date: 2012-02-02 08:36:10 Debugging Java Platform Debugger Architecture Petri net Model checking Breakpoint Debuggers Computing Software engineering
305	ISSN[removed], Programming and Computer Software, 2008, Vol. 34, No. 1, pp. 27–43. © Pleiades Publishing, Ltd., 2008. Original Russian Text © E.V. Kuzmin, V.A. Sokolov, 2008, published in Programmirovanie, 2008, Vol. 34, No. 1. Add to Reading List Source URL: is.ifmo.ru Language: English - Date: 2008-03-11 23:34:24 Theoretical computer science Computer science Büchi automaton Finite-state machine Deterministic finite automaton State Petri net Kripke structure Nested word Models of computation Automata theory Formal methods
306	A Structural Approach to Operational Semantics Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-01-10 08:48:23 Automata theory Mathematics Deduction Entailment Logical consequence Metalogic Nondeterministic finite automaton Symbol Petri net Logic Abstract algebra Models of computation
307	Relationships between Models of Concurrency Mogens Nielsen∗ Add to Reading List Source URL: www.daimi.au.dk Language: English - Date: 2000-09-12 07:39:17 Abstract algebra State transition system Petri net Structure Determinism Model theory Trace monoid Denotational semantics Communicating sequential processes Models of computation Mathematics Theoretical computer science
308	PDF Document Add to Reading List Source URL: www.accs.uq.edu.au Language: English - Date: 2007-04-16 17:42:08 Petri net Behavior Trees Computer science Software engineering Systems science Tango tree Binary search tree Models of computation Concurrency Diagrams
309	PDF Document Add to Reading List Source URL: www.workflowpatterns.com Language: English - Date: 2010-10-11 21:40:46 Business Workflow Petri net Bioinformatics workflow management systems Workflow patterns Workflow technology Management Systems engineering
310	PDF Document Add to Reading List Source URL: www.daimi.au.dk Language: English - Date: 2006-10-18 14:25:05 Formal methods Concurrency Diagrams Petri net Theoretical computer science Data transmission Model checking Finite-state machine Reachability Models of computation Automata theory Computer science

UPDATE